[next] [prev] [prev-tail] [tail] [up]

2.2.5 Integrals 401 to 500

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 401

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

187 187 90 233 0 1028 0 237 103

N.S.

1 1.00 0.48 1.25 0.00 5.50 0.00 1.27 0.55

time (sec)

N/A 0.163 0.220 0.150 0.000 1.256 0.000 0.684 4.134

Problem 402

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

143 143 67 209 0 920 0 282 69

N.S.

1 1.00 0.47 1.46 0.00 6.43 0.00 1.97 0.48

time (sec)

N/A 0.090 0.035 0.132 0.000 1.148 0.000 0.776 0.259

Problem 403

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

161 161 83 2043 0 990 0 0 85

N.S.

1 1.00 0.52 12.69 0.00 6.15 0.00 0.00 0.53

time (sec)

N/A 0.152 0.097 1.020 0.000 1.423 0.000 0.000 0.157

Problem 404

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

215 215 125 8963 0 1184 0 0 147

N.S.

1 1.00 0.58 41.69 0.00 5.51 0.00 0.00 0.68

time (sec)

N/A 0.284 0.344 0.776 0.000 1.174 0.000 0.000 4.171

Problem 405

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F B F F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

269 269 440 13527 0 1309 0 0 197

N.S.

1 1.00 1.64 50.29 0.00 4.87 0.00 0.00 0.73

time (sec)

N/A 0.428 18.043 0.856 0.000 1.188 0.000 0.000 4.219

Problem 406

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

311 311 100 327 0 898 0 238 101

N.S.

1 1.00 0.32 1.05 0.00 2.89 0.00 0.77 0.32

time (sec)

N/A 0.239 1.729 0.132 0.000 1.261 0.000 0.724 0.553

Problem 407

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

257 257 80 315 0 805 0 216 86

N.S.

1 1.00 0.31 1.23 0.00 3.13 0.00 0.84 0.33

time (sec)

N/A 0.141 0.112 0.121 0.000 1.044 0.000 0.678 0.281

Problem 408

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

240 240 66 303 0 766 0 282 71

N.S.

1 1.00 0.28 1.26 0.00 3.19 0.00 1.18 0.30

time (sec)

N/A 0.119 0.026 0.136 0.000 0.916 0.000 0.746 4.207

Problem 409

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

280 280 101 7175 0 1016 0 346 117

N.S.

1 1.00 0.36 25.62 0.00 3.63 0.00 1.24 0.42

time (sec)

N/A 0.269 0.259 0.650 0.000 1.003 0.000 0.864 0.173

Problem 410

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F B F A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

339 339 4071 12089 0 1156 0 375 170

N.S.

1 1.00 12.01 35.66 0.00 3.41 0.00 1.11 0.50

time (sec)

N/A 0.391 21.950 1.221 0.000 1.064 0.000 0.913 4.085

Problem 411

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

161 161 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.119 0.820 0.398 0.000 0.000 0.000 0.000 0.000

Problem 412

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

93 93 95 82 81 80 97 947 76

N.S.

1 1.00 1.02 0.88 0.87 0.86 1.04 10.18 0.82

time (sec)

N/A 0.077 0.372 0.069 0.537 1.641 0.152 2.636 4.104

Problem 413

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 79 71 70 69 83 716 65

N.S.

1 1.00 1.03 0.92 0.91 0.90 1.08 9.30 0.84

time (sec)

N/A 0.064 0.217 0.028 0.505 1.243 0.115 1.477 4.008

Problem 414

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

60 60 67 60 59 58 70 515 54

N.S.

1 1.00 1.12 1.00 0.98 0.97 1.17 8.58 0.90

time (sec)

N/A 0.048 0.147 0.033 0.510 1.901 0.103 1.088 4.043

Problem 415

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

44 44 51 49 47 47 56 327 43

N.S.

1 1.00 1.16 1.11 1.07 1.07 1.27 7.43 0.98

time (sec)

N/A 0.029 0.113 0.022 0.512 1.335 0.076 0.716 4.051

Problem 416

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

29 29 38 38 37 35 41 174 32

N.S.

1 1.00 1.31 1.31 1.28 1.21 1.41 6.00 1.10

time (sec)

N/A 0.013 0.026 0.025 0.523 1.513 0.068 0.721 4.058

Problem 417

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

17 17 17 22 16 27 24 18 21

N.S.

1 1.00 1.00 1.29 0.94 1.59 1.41 1.06 1.24

time (sec)

N/A 0.006 0.007 0.017 0.282 1.126 0.043 0.460 3.978

Problem 418

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

16 16 24 22 38 35 42 42 79

N.S.

1 1.00 1.50 1.38 2.38 2.19 2.62 2.62 4.94

time (sec)

N/A 0.016 0.029 0.161 0.547 1.009 0.143 0.525 4.152

Problem 419

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

29 29 51 33 48 59 70 83 70

N.S.

1 1.00 1.76 1.14 1.66 2.03 2.41 2.86 2.41

time (sec)

N/A 0.032 0.132 0.117 0.523 1.208 0.346 0.583 4.102

Problem 420

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

46 46 66 46 58 72 83 113 83

N.S.

1 1.00 1.43 1.00 1.26 1.57 1.80 2.46 1.80

time (sec)

N/A 0.050 0.291 0.158 0.521 0.981 0.496 0.631 4.074

Problem 421

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

60 60 70 51 71 89 97 140 96

N.S.

1 1.00 1.17 0.85 1.18 1.48 1.62 2.33 1.60

time (sec)

N/A 0.065 0.301 0.157 0.511 0.773 0.802 0.618 3.982

Problem 422

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

75 75 82 59 82 100 110 169 107

N.S.

1 1.00 1.09 0.79 1.09 1.33 1.47 2.25 1.43

time (sec)

N/A 0.082 0.406 0.149 0.524 0.648 1.033 0.767 4.109

Problem 423

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

93 93 82 74 93 111 124 198 116

N.S.

1 1.00 0.88 0.80 1.00 1.19 1.33 2.13 1.25

time (sec)

N/A 0.099 0.376 0.154 0.533 0.921 1.730 0.793 4.142

Problem 424

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

120 120 110 121 110 109 139 1315 146

N.S.

1 1.00 0.92 1.01 0.92 0.91 1.16 10.96 1.22

time (sec)

N/A 0.120 0.644 0.038 0.510 0.999 0.184 2.303 4.092

Problem 425

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

98 98 113 100 91 90 134 1262 90

N.S.

1 1.00 1.15 1.02 0.93 0.92 1.37 12.88 0.92

time (sec)

N/A 0.096 0.455 0.042 0.509 0.792 0.151 1.723 4.074

Problem 426

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

63 63 99 83 78 77 94 675 108

N.S.

1 1.00 1.57 1.32 1.24 1.22 1.49 10.71 1.71

time (sec)

N/A 0.039 0.319 0.029 0.510 0.881 0.111 0.971 4.066

Problem 427

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 74 62 58 58 85 554 57

N.S.

1 1.00 1.28 1.07 1.00 1.00 1.47 9.55 0.98

time (sec)

N/A 0.032 0.294 0.031 0.523 0.755 0.098 0.874 4.018

Problem 428

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

39 39 69 47 41 44 48 201 136

N.S.

1 1.00 1.77 1.21 1.05 1.13 1.23 5.15 3.49

time (sec)

N/A 0.015 0.104 0.020 0.549 1.047 0.071 0.555 4.094

Problem 429

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

35 35 43 38 49 56 70 50 61

N.S.

1 1.00 1.23 1.09 1.40 1.60 2.00 1.43 1.74

time (sec)

N/A 0.027 0.060 0.176 0.512 0.928 0.213 0.675 4.187

Problem 430

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

41 41 82 46 58 67 85 98 79

N.S.

1 1.00 2.00 1.12 1.41 1.63 2.07 2.39 1.93

time (sec)

N/A 0.048 0.162 0.136 0.517 1.171 0.462 0.747 4.072

Problem 431

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 92 61 78 86 131 154 97

N.S.

1 1.00 1.59 1.05 1.34 1.48 2.26 2.66 1.67

time (sec)

N/A 0.072 0.304 0.197 0.513 1.195 0.679 0.842 4.012

Problem 432

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

78 78 103 75 91 107 126 191 112

N.S.

1 1.00 1.32 0.96 1.17 1.37 1.62 2.45 1.44

time (sec)

N/A 0.101 0.736 0.160 0.519 1.012 1.005 0.898 4.016

Problem 433

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

98 98 122 87 111 128 178 248 129

N.S.

1 1.00 1.24 0.89 1.13 1.31 1.82 2.53 1.32

time (sec)

N/A 0.126 0.566 0.172 0.527 1.141 1.430 1.060 3.993

Problem 434

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

120 120 121 103 124 141 172 287 145

N.S.

1 1.00 1.01 0.86 1.03 1.18 1.43 2.39 1.21

time (sec)

N/A 0.142 1.010 0.191 0.540 1.094 2.307 1.153 3.966

Problem 435

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

147 147 161 153 137 136 194 1997 182

N.S.

1 1.00 1.10 1.04 0.93 0.93 1.32 13.59 1.24

time (sec)

N/A 0.136 0.814 0.052 0.523 1.083 0.199 2.998 3.878

Problem 436

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

94 94 97 124 114 113 160 1485 154

N.S.

1 1.00 1.03 1.32 1.21 1.20 1.70 15.80 1.64

time (sec)

N/A 0.065 1.053 0.036 0.516 1.239 0.150 1.703 3.845

Problem 437

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

97 97 100 97 95 94 128 993 135

N.S.

1 1.00 1.03 1.00 0.98 0.97 1.32 10.24 1.39

time (sec)

N/A 0.062 0.576 0.038 0.517 1.414 0.113 1.323 3.826

Problem 438

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

72 72 79 74 78 71 94 603 106

N.S.

1 1.00 1.10 1.03 1.08 0.99 1.31 8.38 1.47

time (sec)

N/A 0.039 0.248 0.026 0.524 1.659 0.090 0.804 3.824

Problem 439

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

62 62 79 59 71 78 92 72 75

N.S.

1 1.00 1.27 0.95 1.15 1.26 1.48 1.16 1.21

time (sec)

N/A 0.058 0.212 0.177 0.533 2.293 0.325 1.013 3.863

Problem 440

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

69 69 80 62 74 97 114 88 78

N.S.

1 1.00 1.16 0.90 1.07 1.41 1.65 1.28 1.13

time (sec)

N/A 0.066 0.154 0.175 0.510 1.043 0.657 1.140 3.913

Problem 441

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

83 83 96 74 92 99 146 171 102

N.S.

1 1.00 1.16 0.89 1.11 1.19 1.76 2.06 1.23

time (sec)

N/A 0.101 0.330 0.211 0.532 1.353 0.953 1.254 4.065

Problem 442

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

104 104 120 90 117 126 177 236 124

N.S.

1 1.00 1.15 0.87 1.12 1.21 1.70 2.27 1.19

time (sec)

N/A 0.135 1.153 0.167 0.518 1.062 1.379 1.503 3.961

Problem 443

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

130 130 118 111 135 152 207 301 145

N.S.

1 1.00 0.91 0.85 1.04 1.17 1.59 2.32 1.12

time (sec)

N/A 0.164 1.649 0.190 0.522 0.960 2.326 1.850 3.929

Problem 444

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

157 157 152 131 158 173 241 370 166

N.S.

1 1.00 0.97 0.83 1.01 1.10 1.54 2.36 1.06

time (sec)

N/A 0.198 0.996 0.200 0.524 1.094 3.051 2.812 4.103

Problem 445

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

181 181 190 209 171 170 277 3385 225

N.S.

1 1.00 1.05 1.15 0.94 0.94 1.53 18.70 1.24

time (sec)

N/A 0.176 1.215 0.060 0.517 0.867 0.217 5.195 3.974

Problem 446

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

128 128 122 176 149 148 214 2281 221

N.S.

1 1.00 0.95 1.38 1.16 1.16 1.67 17.82 1.73

time (sec)

N/A 0.106 0.766 0.045 0.518 0.992 0.171 2.830 3.979

Problem 447

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

130 130 123 135 124 123 187 1886 168

N.S.

1 1.00 0.95 1.04 0.95 0.95 1.44 14.51 1.29

time (sec)

N/A 0.101 1.699 0.044 0.524 1.307 0.159 2.122 3.921

Problem 448

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

103 103 105 107 113 100 131 1071 167

N.S.

1 1.00 1.02 1.04 1.10 0.97 1.27 10.40 1.62

time (sec)

N/A 0.077 0.380 0.029 0.523 0.727 0.119 0.937 3.890

Problem 449

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

92 92 94 85 89 101 133 90 92

N.S.

1 1.00 1.02 0.92 0.97 1.10 1.45 0.98 1.00

time (sec)

N/A 0.130 0.415 0.202 0.520 1.009 0.525 1.426 3.974

Problem 450

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

97 97 94 83 88 114 133 102 94

N.S.

1 1.00 0.97 0.86 0.91 1.18 1.37 1.05 0.97

time (sec)

N/A 0.130 0.280 0.170 0.532 1.409 0.972 1.766 3.956

Problem 451

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

99 99 90 90 99 126 170 132 102

N.S.

1 1.00 0.91 0.91 1.00 1.27 1.72 1.33 1.03

time (sec)

N/A 0.143 0.318 0.210 0.513 1.596 1.363 1.855 4.008

Problem 452

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

117 117 125 103 122 131 187 246 127

N.S.

1 1.00 1.07 0.88 1.04 1.12 1.60 2.10 1.09

time (sec)

N/A 0.184 1.280 0.191 0.529 1.251 2.194 1.896 3.983

Problem 453

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

141 141 147 126 149 162 252 335 150

N.S.

1 1.00 1.04 0.89 1.06 1.15 1.79 2.38 1.06

time (sec)

N/A 0.234 2.164 0.187 0.523 1.570 3.013 1.854 3.974

Problem 454

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

170 170 154 155 170 186 265 416 174

N.S.

1 1.00 0.91 0.91 1.00 1.09 1.56 2.45 1.02

time (sec)

N/A 0.262 0.451 0.202 0.518 1.017 5.073 1.318 4.064

Problem 455

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

198 198 178 179 195 214 340 506 202

N.S.

1 1.00 0.90 0.90 0.98 1.08 1.72 2.56 1.02

time (sec)

N/A 0.301 0.514 0.237 0.526 1.414 6.671 1.373 4.248

Problem 456

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

154 154 167 138 146 181 947 158 165

N.S.

1 1.00 1.08 0.90 0.95 1.18 6.15 1.03 1.07

time (sec)

N/A 0.386 1.763 0.191 0.523 1.160 1.225 2.446 4.258

Problem 457

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

125 125 155 119 123 159 821 129 138

N.S.

1 1.00 1.24 0.95 0.98 1.27 6.57 1.03 1.10

time (sec)

N/A 0.264 0.624 0.179 0.528 1.723 0.794 1.960 4.078

Problem 458

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

97 97 107 92 99 134 677 100 109

N.S.

1 1.00 1.10 0.95 1.02 1.38 6.98 1.03 1.12

time (sec)

N/A 0.149 0.449 0.115 0.522 1.628 0.702 1.249 4.075

Problem 459

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

79 79 91 79 85 111 554 86 94

N.S.

1 1.00 1.15 1.00 1.08 1.41 7.01 1.09 1.19

time (sec)

N/A 0.094 0.422 0.139 0.524 1.301 0.570 0.902 4.110

Problem 460

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

66 77 78 68 72 89 405 73 78

N.S.

1 1.17 1.18 1.03 1.09 1.35 6.14 1.11 1.18

time (sec)

N/A 0.070 0.096 0.111 0.530 1.527 0.509 0.644 4.046

Problem 461

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

46 46 66 63 68 63 255 73 76

N.S.

1 1.00 1.43 1.37 1.48 1.37 5.54 1.59 1.65

time (sec)

N/A 0.042 0.132 0.092 0.549 1.411 0.462 0.516 4.025

Problem 462

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

45 45 76 62 69 62 241 74 73

N.S.

1 1.00 1.69 1.38 1.53 1.38 5.36 1.64 1.62

time (sec)

N/A 0.034 0.064 0.087 0.516 1.269 0.412 0.593 4.182

Problem 463

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

66 66 91 80 84 98 626 88 95

N.S.

1 1.00 1.38 1.21 1.27 1.48 9.48 1.33 1.44

time (sec)

N/A 0.054 0.212 0.269 0.530 1.021 0.892 0.577 4.130

Problem 464

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

81 81 96 94 100 140 1080 116 108

N.S.

1 1.00 1.19 1.16 1.23 1.73 13.33 1.43 1.33

time (sec)

N/A 0.123 0.496 0.260 0.589 0.918 1.509 0.719 4.157

Problem 465

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

107 107 106 114 122 180 1336 155 137

N.S.

1 1.00 0.99 1.07 1.14 1.68 12.49 1.45 1.28

time (sec)

N/A 0.213 0.677 0.272 0.668 1.103 2.382 0.750 4.197

Problem 466

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

133 133 131 137 145 207 1533 187 153

N.S.

1 1.00 0.98 1.03 1.09 1.56 11.53 1.41 1.15

time (sec)

N/A 0.336 1.793 0.289 1.021 1.834 3.241 0.788 4.261

Problem 467

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

239 239 242 168 206 387 3279 251 213

N.S.

1 1.00 1.01 0.70 0.86 1.62 13.72 1.05 0.89

time (sec)

N/A 0.508 6.239 0.158 0.664 1.370 1.508 2.436 4.384

Problem 468

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

197 197 182 142 180 340 2837 221 185

N.S.

1 1.00 0.92 0.72 0.91 1.73 14.40 1.12 0.94

time (sec)

N/A 0.353 3.023 0.171 1.079 1.075 1.228 1.903 4.327

Problem 469

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

155 155 329 125 164 288 2312 201 158

N.S.

1 1.00 2.12 0.81 1.06 1.86 14.92 1.30 1.02

time (sec)

N/A 0.208 2.777 0.156 0.633 0.885 1.024 1.173 4.271

Problem 470

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

114 121 251 114 155 226 1992 181 137

N.S.

1 1.06 2.20 1.00 1.36 1.98 17.47 1.59 1.20

time (sec)

N/A 0.115 1.109 0.158 1.031 1.007 0.891 0.906 4.252

Problem 471

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 161 101 137 153 1314 165 126

N.S.

1 1.00 1.83 1.15 1.56 1.74 14.93 1.88 1.43

time (sec)

N/A 0.081 0.732 0.120 1.013 0.870 0.790 0.731 4.072

Problem 472

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A C B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

82 82 181 104 139 157 1476 173 133

N.S.

1 1.00 2.21 1.27 1.70 1.91 18.00 2.11 1.62

time (sec)

N/A 0.069 0.493 0.130 0.959 0.847 0.759 0.588 4.167

Problem 473

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

82 82 106 97 131 154 1260 159 121

N.S.

1 1.00 1.29 1.18 1.60 1.88 15.37 1.94 1.48

time (sec)

N/A 0.060 1.365 0.102 0.510 0.864 0.721 0.474 4.085

Problem 474

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

107 107 154 126 164 235 2927 206 152

N.S.

1 1.00 1.44 1.18 1.53 2.20 27.36 1.93 1.42

time (sec)

N/A 0.152 0.721 0.296 0.506 0.875 1.670 0.921 4.289

Problem 475

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

150 150 136 140 200 323 4070 235 183

N.S.

1 1.00 0.91 0.93 1.33 2.15 27.13 1.57 1.22

time (sec)

N/A 0.256 0.782 0.295 0.526 1.246 1.971 0.883 4.351

Problem 476

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B C A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

189 189 146 166 240 386 5222 272 222

N.S.

1 1.00 0.77 0.88 1.27 2.04 27.63 1.44 1.17

time (sec)

N/A 0.388 1.281 0.329 0.505 1.177 2.897 0.936 4.462

Problem 477

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

283 283 243 203 308 628 0 345 284

N.S.

1 1.00 0.86 0.72 1.09 2.22 0.00 1.22 1.00

time (sec)

N/A 0.563 3.814 0.206 0.512 1.036 0.000 2.509 4.353

Problem 478

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

239 239 694 186 293 549 0 325 263

N.S.

1 1.00 2.90 0.78 1.23 2.30 0.00 1.36 1.10

time (sec)

N/A 0.386 6.333 0.240 0.517 1.114 0.000 2.257 4.252

Problem 479

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

183 183 351 169 279 481 0 304 240

N.S.

1 1.00 1.92 0.92 1.52 2.63 0.00 1.66 1.31

time (sec)

N/A 0.219 2.203 0.187 0.504 1.347 0.000 1.431 4.206

Problem 480

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

149 149 269 158 262 317 0 282 236

N.S.

1 1.00 1.81 1.06 1.76 2.13 0.00 1.89 1.58

time (sec)

N/A 0.165 5.812 0.170 0.508 0.844 0.000 0.920 4.121

Problem 481

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A B B F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

129 129 200 150 256 326 0 263 224

N.S.

1 1.00 1.55 1.16 1.98 2.53 0.00 2.04 1.74

time (sec)

N/A 0.132 4.038 0.153 0.526 1.077 0.000 0.810 4.092

Problem 482

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

129 129 234 147 253 328 0 275 224

N.S.

1 1.00 1.81 1.14 1.96 2.54 0.00 2.13 1.74

time (sec)

N/A 0.114 3.556 0.167 0.510 1.517 0.000 0.711 4.009

Problem 483

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A B B F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

122 122 127 140 248 321 0 265 215

N.S.

1 1.00 1.04 1.15 2.03 2.63 0.00 2.17 1.76

time (sec)

N/A 0.111 1.911 0.135 0.521 1.093 0.000 0.490 4.309

Problem 484

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

168 168 209 182 290 494 0 328 256

N.S.

1 1.00 1.24 1.08 1.73 2.94 0.00 1.95 1.52

time (sec)

N/A 0.293 4.377 0.369 0.512 1.039 0.000 0.932 4.679

Problem 485

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

211 211 178 201 349 585 0 357 293

N.S.

1 1.00 0.84 0.95 1.65 2.77 0.00 1.69 1.39

time (sec)

N/A 0.432 4.929 0.378 0.501 1.029 0.000 1.124 4.797

Problem 486

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

315 315 1281 249 444 886 0 472 387

N.S.

1 1.00 4.07 0.79 1.41 2.81 0.00 1.50 1.23

time (sec)

N/A 0.610 6.529 0.279 0.510 1.152 0.000 2.688 4.891

Problem 487

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

256 256 788 234 433 784 0 451 373

N.S.

1 1.00 3.08 0.91 1.69 3.06 0.00 1.76 1.46

time (sec)

N/A 0.388 6.407 0.286 0.559 1.106 0.000 2.087 4.679

Problem 488

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A B B F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

208 208 236 211 410 510 0 409 359

N.S.

1 1.00 1.13 1.01 1.97 2.45 0.00 1.97 1.73

time (sec)

N/A 0.276 2.617 0.178 0.506 1.094 0.000 1.316 4.639

Problem 489

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A B B F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

189 189 387 206 402 526 0 400 359

N.S.

1 1.00 2.05 1.09 2.13 2.78 0.00 2.12 1.90

time (sec)

N/A 0.233 6.238 0.219 0.499 1.064 0.000 1.098 4.641

Problem 490

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A B B F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

169 169 324 190 389 531 0 376 326

N.S.

1 1.00 1.92 1.12 2.30 3.14 0.00 2.22 1.93

time (sec)

N/A 0.199 6.213 0.184 0.496 1.154 0.000 1.000 4.531

Problem 491

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A B B F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

172 172 319 191 394 528 0 401 355

N.S.

1 1.00 1.85 1.11 2.29 3.07 0.00 2.33 2.06

time (sec)

N/A 0.166 6.241 0.244 0.505 1.270 0.000 0.829 4.448

Problem 492

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A B B F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

165 165 176 183 385 511 0 370 333

N.S.

1 1.00 1.07 1.11 2.33 3.10 0.00 2.24 2.02

time (sec)

N/A 0.169 2.863 0.191 0.495 1.220 0.000 0.613 4.277

Problem 493

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

226 226 243 246 444 793 0 476 385

N.S.

1 1.00 1.08 1.09 1.96 3.51 0.00 2.11 1.70

time (sec)

N/A 0.454 2.069 0.468 0.510 1.505 0.000 1.037 4.869

Problem 494

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

278 278 241 264 516 925 0 502 430

N.S.

1 1.00 0.87 0.95 1.86 3.33 0.00 1.81 1.55

time (sec)

N/A 0.583 3.579 0.464 0.509 1.271 0.000 1.118 5.548

Problem 495

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 31 65 41 39 46 46 40 49

N.S.

1 1.00 2.10 1.32 1.26 1.48 1.48 1.29 1.58

time (sec)

N/A 0.030 0.039 0.078 0.488 1.380 0.187 0.478 4.108

Problem 496

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

50 50 67 55 53 83 190 64 64

N.S.

1 1.00 1.34 1.10 1.06 1.66 3.80 1.28 1.28

time (sec)

N/A 0.045 0.279 0.079 0.500 1.017 0.289 0.464 3.951

Problem 497

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

69 69 84 69 73 120 442 74 84

N.S.

1 1.00 1.22 1.00 1.06 1.74 6.41 1.07 1.22

time (sec)

N/A 0.066 0.609 0.108 0.489 0.998 0.380 0.671 4.017

Problem 498

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 87 83 93 157 790 84 104

N.S.

1 1.00 0.99 0.94 1.06 1.78 8.98 0.95 1.18

time (sec)

N/A 0.087 1.184 0.096 0.491 1.345 0.483 0.592 4.120

Problem 499

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 31 65 41 39 46 46 40 49

N.S.

1 1.00 2.10 1.32 1.26 1.48 1.48 1.29 1.58

time (sec)

N/A 0.027 0.040 0.069 0.494 0.845 0.178 0.484 4.118

Problem 500

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

50 50 67 55 53 83 190 64 64

N.S.

1 1.00 1.34 1.10 1.06 1.66 3.80 1.28 1.28

time (sec)

N/A 0.045 0.279 0.085 0.498 0.981 0.281 0.550 4.084

[next] [prev] [prev-tail] [front] [up]